Celestin Apprentice 7/Apprentice-Release7.iso/Source Code/C/Applications/Moscow ML 1.42/src/compiler/Synchk.sig

Text File | 1997-08-18 | 84 b | 3 lines | [TEXT/R*ch]

val checkDec: bool -> Asynt.Dec -> unit;
val checkSpec: bool -> Asynt.Spec -> unit;